#상태 기계

AI 에이전트를 안정적으로 만드는 시각적 상태 기계

AI 에이전트의 도구 사용을 단계별로 제한해 오작동을 방지하는 오픈소스 도구 'Statewright'가 공개되었습니다. 상태 기계(State Machine)를 도입해 모델이 현재 단계에서 허용된 도구만 사용하게 강제함으로써, 최소한의 토큰 사용과 작은 모델로도 안정적으로 코딩 작업을 수행할 수 있게 돕습니다.

던전앤드래곤을 위한 모델 기반 테스팅

이 글은 던전앤드래곤(D&D)의 복잡한 전투 시스템을 형식 모델링 언어인 Quint를 사용하여 모델 기반 테스팅(Model-Based Testing)으로 구현한 경험을 공유합니다. 단순한 타격이 아닌 '카운터스펠(Counterspell)' 연쇄 반응, 전투 중 인터럽트, 전설적 내성(Legendary Resistance) 등 룰의 복잡한 상호작용을 상태 기계(State Machine)로 엄밀하게 모델링하여 극단적인 에지 케이스에서 발생할 수 있는 데드락이나 오류를 조기에 검증하는 것이 핵심입니다. 이러한 접근은 복잡한 비즈니스 로직과 상태 전환이 얽힌 시스템의 설계와 테스트에 있어 훌륭한 기술적 참고 자료가 됩니다.